Buy Used and New Jaco Geldenhuys Books

Model Checking Software: 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings: 9232 (Lecture Notes in Computer Science)

by Bernd Fischer,Jaco Geldenhuys

ISBN 13: 9783319234038

Format: Paperback (340 pages)
Publisher: Springer
Published: 03 Sep 2015

Save for later